47 research outputs found
From fuzzy to annotated semantic web languages
The aim of this chapter is to present a detailed, selfcontained and comprehensive account of the state of the art in representing and reasoning with fuzzy knowledge in Semantic Web Languages such as triple languages RDF/RDFS, conceptual languages of the OWL 2 family and rule languages. We further show how one may generalise them to so-called annotation domains, that cover also e.g. temporal and provenance extensions
A four-valued hybrid logic with non-dual modal operators
Hybrid logics are an extension of modal logics where it is
possible to refer to a specific state, thus allowing the description of what
happens at specific states, equalities and transitions between them. This
makes hybrid logics very desirable to work with relational structures.
However, as the amount of information grows, it becomes increasingly
more common to find inconsistencies. Information collected about a particular hybrid structure is not an exception. Rather than discarding all
the data congregated, working with a paraconsistent type of logic allows
us to keep it and still make sensible inferences.
In this paper we introduce a four-valued semantics for hybrid logic, where
contradictions are allowed both at the level of propositional variables and
accessibility relations. A distinguishing feature of this new logic is the fact
that the classical equivalence between modal operators will be broken.
A sound and complete tableau system is also presented.publishe